• Home
• Categories
• Process Calculi

Process Calculi

A TEMPORAL CONCURRENT CONSTRAINT CALCULUS AS AN AUDIO PROCESSING FRAMEWORK

Visual Language / Concurrent Systems / Domain Specificity / Process Calculi

Download

A Process Calculus for Mobile Ad Hoc Networks

Mobile Ad Hoc Network / Computer Software / Operational Semantics / Environmental Science and Computer Programming / Routing Protocol / Formal Model / Process Calculi / Transition Systems / Formal Model / Process Calculi / Transition Systems

Download

A Calculus for Team Automata

Cognitive Science / Distributed System / Computer Software / Process Calculi

Download